From 182602911c6796d413ac6672bc0d02a95a6281e5 Mon Sep 17 00:00:00 2001
From: Dario Faggioli <dario.faggioli@citrix.com>
Date: Fri, 17 Mar 2017 09:31:58 +0100
Subject: [PATCH] credit2: remove undefined declaration of __dump_execstate()

Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>
---
 xen/common/sched_credit2.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/xen/common/sched_credit2.c b/xen/common/sched_credit2.c
index af457c1e09..bb1c657e76 100644
--- a/xen/common/sched_credit2.c
+++ b/xen/common/sched_credit2.c
@@ -2437,8 +2437,6 @@ csched2_runtime(const struct scheduler *ops, int cpu,
     return time;
 }
 
-void __dump_execstate(void *unused);
-
 /*
  * Find a candidate.
  */
-- 
2.30.2